Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
941	PDF Document Add to Reading List Source URL: www.ece.umd.edu Language: English - Date: 2011-10-20 12:08:15 Numerical analysis Applied mathematics Interior point method Linear programming Duality Constraint programming Mathematical optimization Operations research Convex optimization
942	Constraints manuscript No. (will be inserted by the editor) On the Reification of Global Constraints Nicolas Beldiceanu · Mats Carlsson · Pierre Flener · Justin Pearson Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2012-10-23 14:28:33 Computing Reification Constraint programming Software engineering Computer programming
943	Constraints manuscript No. (will be inserted by the editor) On Matrices, Automata, and Double Counting in Constraint Programming Nicolas Beldiceanu · Mats Carlsson · Pierre Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2012-11-22 04:43:49 Mathematics Matrix theory Local consistency Complexity of constraint satisfaction Linear algebra Constraint programming Matrix
944	From Prolog and Zelda to ToonTalk Ken Kahn Animated Programs 49 Fay Avenue, San Carlos, CA 94070, USA [removed] This paper will appear in the Proceedings of the International Conference on Logic Add to Reading List Source URL: www.toontalk.com Language: English - Date: 2008-04-09 17:13:07 Programming paradigms ToonTalk Constraint programming Janus Prolog Logic programming Append Robot Programming language Software engineering Computing Computer programming
945	ToonTalk and Logo Is ToonTalk a colleague, competitor, successor, sibling, or child of Logo? May 23, 2001 To appear in LogoUpdate and EuroLogo 2001 Proceedings Abstract Add to Reading List Source URL: www.toontalk.com Language: English - Date: 2008-04-09 17:16:14 Programming paradigms Visual programming languages Functional languages Constraint programming Programming games ToonTalk Janus Actor model Logo Software engineering Computing Computer programming
946	A constraint-based method for solving sequential manipulation planning problems Tom´as Lozano-P´erez and Leslie Pack Kaelbling Abstract— In this paper, we describe a strategy for integrated task and motion planning b Add to Reading List Source URL: lis.csail.mit.edu Language: English - Date: 2014-07-18 21:54:29 Artificial intelligence Constraint satisfaction problem Motion planning Constraint satisfaction Local consistency Kinematics Backjumping Backtracking Constraint programming Software engineering Computer programming
947	A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities David Wagner Jeffrey S. Foster Eric A. Brewer University of California, Berkeley Add to Reading List Source URL: www.isoc.org Language: English - Date: 2000-02-24 15:34:44 C programming language Data types Primitive types Software bugs Constraint programming Buffer overflow C string handling Pointer Circular buffer Software engineering Computer programming Computing
948	Characterizing Problems for Realizing Policies in Self-Adaptive and Self-Managing Systems Add to Reading List Source URL: www.savinetwork.ca Language: English - Date: 2013-10-04 17:11:26 Applied mathematics Matroid theory Linear programming Submodular set function Convex optimization Greedy algorithm Combinatorial optimization Matroid Constraint Mathematics Mathematical optimization Operations research
949	Problem Set 4 CMSC 426 Due: Thursday, April[removed]Overview: You will implement a stereo algorithm that uses dynamic programming. This algorithm enforces the ordering constraint (or else you couldn’t use dynamic program Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-04-03 15:27:12 Computer vision Pixel Image rectification Image processing Computer graphics Imaging
950	Pairwise Constraint Propagation by Semidefinite Programming for Semi-Supervised Classification Zhenguo Li [removed] Jianzhuang Liu Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-05-02 00:22:10 Cluster analysis Semi-supervised learning Pattern recognition Support vector machine Constrained clustering Statistics Machine learning Local consistency

UPDATE